1. Leveraging applications of formal methods, verification, and validation
Author: Reiner Hähnle ... [and 4 others] (Eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Verification, Congresses.,Formal methods (Computer science), Congresses.,Machine learning, Congresses.,Robots-- Programming, Congresses.
